Correct python console lexer