Revert "Removed unnecessary definition."

This reverts commit 8b31fc990bb719653e00b0ad37d4554d328886ee.