Fixes for a couple of typos