Another minor readability nit.