Corrections to displaying term bindings.