Minor adjustment to make CLANG assembler happy