Fprintf here, too