Line numbers after expected verify directive