Fixed a bug in the implementation of pragma preferences und added support for resetting pragma preferences