Tweaks to banner code.