Remove the @mut from the extra::term calls.