updated documentation after last push in master