Fixes to the last few typos on #12