Updating: minorly improving doc/BOOK