Another minor change

I'm too lazy to come up with creative commit messages.