Fixes for fsm-inetable