Revert "no longer needed"

This reverts commit f7eb45db9207454cfdad61fd690573095e3ea1a1.