Bryan's changes to cocobot man page.