Fix Fprintf call