erratum-definition