minor updates to documentation