Add missing fprintf instead of printf