Revert "Fix in previous commit"

This reverts commit 913391bd7baaf9167b9b08051ce00a77e649d524.