Fixes a bug in the last commit.