Super quick fix to a linting error that got merged...