Fix typos

Fixes #5236