Oops; fixed fencepost errors I introduced