issue #115 - options were missing from banner