Fixed minor line number bug in relation to test case highlighting.