fix printfn