some small tweaks (changed the F_XI to x_HI, changed last frontier