doc/manual: small fix in "parametric abstract types"