python highlighting overwriten