minor rewite per @keradus's comment