fyi although this, and the previous three lines, correct coding style issues, we try to avoid making changes to existing lines unless necessary.