Fix bug in lintbug script