Small fix on typing things into the terminal