minor changes on documentation