Fixes typos

Hopefully, the last two...