Fix printf colorizing