Fix a typo in the banner comment
Authored by: david_costanzo 2017-03-28
Parent: [r4333]
Child: [r4335]