fix #4 (linting issues)