Revert "tiny cleanup"

This reverts commit 44aeb2d4bc9515a0bd3a9bdf912022e20246065d.