Fix a bug in clang 3.2