Further fixes to markdown in CodeBook.md