Revert "Minor fix"

This reverts commit 444df0313c84fa65fd374ff0c29a8498967d1bf4.