trivial bugfix: remove a duplication