bugfix: really stupid mistake in the 'Ord Identifier' instance