Fixed silly mistake introduced in last commit.