Small terminal widget fix.