Revert "Minor change"

This reverts commit 7eb320db4f0043f6aa25369756280ed2190c84c8.