documentation additions, corrections