(Fprin1_to_string): Doc fix.