Revert "minor fix"

This reverts commit cccf4c28341aa066e320961ec15b4c94e7add65d.