Fix, thanks to HashCode