Fix an error introduced with latest commit.