small changes to documentation