Minor formatting fix.