linting some ;