Minor typos

Fixes some trivial typos