minor changes in documentary comments