Added get_infix().