Compression documentation fix

As required for #668