Fixing bug introduced in last commit.