Fixes compression bugs and spec disparencies