Fix spec for dummy encodings #7