Fix omitted in my latest commit.