eliminating some unneeded hashCode and other methods