Correct typos noticed by DSB and HALP