extra highlighting for python