Upgrade, Fix Frege/frege-repl#2