fix linting - fixes #3