fix accidentally introduced bug