updated user manual for #83