#8 Fix prompt display bug and lexing bug