fixes #535 and re-enables the DecoderSpec