Minor corrections
removed prompt-token from SyntaxError print