fix a bug introduced by linting