bugfix in gpf specification