still more small changes in CodeBook.md