Revert "Other things"

This reverts commit 29365f10a4c8a7f469cea90fdc5b00a7db0e1718.