fixed a small decompiling bug