Touchups to documentation