Quick fixes for more pragmas messages