Fixed a build error introduced in previous commit.