Very small and insignificant formatting fix.