Improvements to the console-typing mechanism