Issue #21: NPE in hashcode