fixing a mistake I made in the last commit.