fix erroneous reporting of missing lines