Use explicit python syntax highlighting