Correcting typo in decompression formula