Fix linting error introduced with d62e99bb5b5aaaafc8cd06a9f5094ca05cc91e3e