doctor: style nits