fix line number reported in #2417