Minor comment change, but confused me when I saw it