updated top-level documentation