fixed a bug of inst