Fix typo in TopLevelBook
issue