Fix small typo (double decl)

Removed double declaration introduced by mistake in
6388fefc5ff681a0289166c8804ddc3a59d51075