Correct the F3 examples hardfaults in rare cases, correct style