Add more examples in the spec for invalid encoded string