terminal FF fix