Forgot this change in the previous commit.