Fix wrong formulation of ListT