Fix linting error introduced with 51d82bed94d5485f570b7b16c74ae823f3a99412