Fixing broken decoder spec