Fix a typo in comment in ASTBitCodes.h