Fixing broken linting in commit 4c84559