Updated HTT code: now also provide a value for Rmin expected