Broke everything by trying to add smt