Small fix in FileOutputproj