ProdEditTests.m: fix testEndOfBuffer