bugfix: hashcode() implementation