Revert "Revert "minor change""

This reverts commit 0793cc357afcc9ae1c575981bbccf5d9be4fb1af.