add banner option. Fixes #1735