BugFix: Resource leak: 'scanner' is never closed