Fix issue where scanner warning reported about wrong file [#3]