Corrections to Hall quick_start