fix a bug introduced in last commit