Revert "Minor change to suppress linter warning"
This reverts commit 48569f3629b268ede5282dec0d5119d025911f6e. See P1753.