fixing a bug introduced by last commit