fix a bug introduced in previous commit