Fixed a compile error introduced in the last commit.