fix duplicate command introduced by previous merge

again, sorry!