small error in docs for write_typeinfo_pm