Fix call from vfprintf to fprintf, which could cause seg faults.