Remove extra " in banner comment

Might have been leftover from when the banner was a simple double-quoted string.

Closes #5093