minor bugfix in third.awk