A very minor change in Table.java