unnecessary space (same with the definition above)