Cleaning up superfluous material not required for a public book.