Fix a maddening bug in the comparator for Core constructors
Fix a maddening bug in the comparator for Core constructors

urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb