Fixes for minor bugs in the Ido manual.