footer license text was being covered up by REPL