Doc formatting fix.