fix a bug introduced in the last commmit