this is actually a workaround for a bug in gcc, whereby it asserts inequality of the keys being compared...