Correct default-transition compression