Fixed the bug noted in the last commit.