Bugfix in pragma checker