fix a newly introduced bug