fixes, runtime table checking, and clearer printouts