Fixed expected type in ExampleDecode_tags