fix printf arg type mismatch