Minor formatting change for better web documentation.