fix a bug introduced by my last commit.