Minor fixes to the crawler and linter