Fix a bad pragma.