Hi Charlie, I'm not sure why it was like this, but I agree that we should not capitalise. Maybe Tim could comment about his view before we can finally commit this, as I want to hear his concerns. cheers, --renato http://reviews.llvm.org/D6356