minor documentational changes