pump: add a missing semicolon in an actor command SMEX: correct some banner size and placement errors