Minor improvement to decompiler.