#6409: Spacing.