Bugfix in BCS decompiler