Fix python colorization.