removed @noEquivalentGetterExists
minor cleanup