Fix deftable*