Issue 212: Fixed linting problem