Revert ":df"

This reverts commit b5ceff8d091942def21847ba37ca1c7c90ae3571.