Revert "Correct a mistake of mine"

This reverts commit 23df840fdf54bae5da828ae370d3fc437dd47a96.