Slight cleanup to teh docs