A couple quick fixes to documentation