Hashcode fix (thanks @aleczorab)