maintenance and clean-up, updates to the docs