fixed type definition section numbering