identifier names fixed

32 jobs for 1349-gpml-names in 13 minutes and 32 seconds (queued for 8 seconds)