small changes to the documentation