Fix argument type in fprintf