Minor typos (will fix post-merge).