corrected a GNOT bug