HeaderDoc formatting