proper fprintf call