More small fixes to the types document