Minor: spacing weirdness