Correct the compression example.