fixed a minor bug introduced in the last commit.