fix recently introduced bug