Fix asm-printing directives (how did we not see this before...apparently,