Minor fix
Revert "Minor fix"

This reverts commit f73c15d79040f38b2ce0a8f9b1f4b56a519e53b8.