Fixed a minor bug with Python highlightning.