Fix section about compression.