Fix printf colorizing

Same comment. Opt out when `idents` are empty?