Reverting (flawed) change of `compressed()`