format doc (for posterity or something)