Follow-up fix to the previous commit.