Revert "minor fix"

This reverts commit 18028defbfb21f104cf57d49faff5bd6427f4dcf.