Minor bug-fix in class method 'wtih_scan'