minor fixes and updates to documentation