Made several corrections to documentation