fix documentation a little