Major fix

- Reverting (flawed) change of `compressed()`