added a couple of pragmas