trivial: spacing issue