fixed several types and debugging instruction