Minor doc formatting fix