One more attempt at doc formatting