fix banner I hacked off during merge