hashCode bugfix