minor updates to the documentation