Another minor change I missed the last commit.