Revert "Minor change"

This reverts commit b920a559be525887dd5bb14e1aea07c1943eb7dd.