correction of a pb concerning isFormatOf field in Format()