semantaqua UMHOS literal bug