bugfix: equals was forgotten