Remove some extra fprintf calls