Fix off-by-one in TextPool.getText()