ConstTable.h fix #9