Simplify treatement of pragmas slightly