minor change about style