A few small fixes for Book Formatter