#478: Fixing typos