Issue #34: added missing hashCode() implementations