fix decompilation error