fix careless error (apologies future git bisecters)