Fixes to DEFLATE