Fixes linting issue, which made travis fail.