[#2707] PostgreSQL ENUM ordering is inconsistent with the database