Fix a compile error introduced by last commit.