Correcting for Python highlighting in example code