Fix: resolve linting issue in (fixes #1339)