fix mit.sql