Somewhat shady fix to make the console input look (slightly) prettier