fixed minor stuff in doc