Updating high-level documentation