Minor adjustments to pragmas