Fix decode/2 typespec