I don't think these asterisks are necessary. Similarly in other places in the doc.