Ping. I think it would be ok to commit this small change, but the dev policy page (code review rule #5) says that I need an explicit LGTM because I posted this as a patch for review. Please let me know if I'm misunderstanding the rules. http://reviews.llvm.org/D5052