Encoding: Fix decode of Literal