Simplify a bit WRT DISPLAY_TERM