Revert 4930b351d47ce0239171ff6b6e4ee7f6ab339027 because it is useless