python highlightning works