Fix some coloring criterion on Python highlighter (v2.0.1)