This is a minor readability edit