Revert "Fix", it wasn't meant to be pushed yet

This reverts commit 83bf7a5c97c2d65f2a15132128cc4050409c1bac.