Typos fixing to make lint happy