Removed some erroneous pragmas