add format specification to fprintf