typo fixes from dret