DeltaGroupoid.agda: fix comment wording