Fix formatting a line of doc missed in 7cd8314ab.