minor cleanup to documentation