fix a few typos introduced by eliminating (~>)