fixing typos

Fixes Issue #7230