error message position mixup for incomplete proof (missing conclusion)

[jsiek]

theorem T: all P:bool, Q:bool. if P and (if P then Q) then Q
proof
  arbitrary P:bool, Q:bool
  assume prem: (P and (if P then Q))
end

error:

/Users/jsiek/deduce/test/should-error/suffices_implies_hole.pf:3.23-4.37: incomplete proof
Goal:
	Q


Givens:
	prem: (P and (if P then Q))

The 3.23 points to the second bool in the arbitrary statement, which is rather odd.

[HalflingHelper]

Yeah, that was my way of trying to highlight the last statement in the proof

I can change it to highlighting the end token