The gators needed to also fire Austin Armstrong