some improvements to LRTDP