Minor typo fixes for #12