Make explicit a bug in the category ordering