Fixes for CodeBook.md