fixed a recently introduced bug