diss: small corrections for previous commit