Correct table defs