Revert "minor change"

This reverts commit c37d80ee9b70b8c5bb6cd023f8611e633e5e08a2.