Fixes to markdown in CodeBook.md