A minor readability change.