Fixing a few silly typos