Fixed string formatting in Typed_list