Fix one bad doc comment entry from r86848