tiny tweaks to documentation