Make banner neater
Merge pull request #106 from henkjanverkerk/master

Make banner neater