DC13: fix the typos