bug fix in symbolic quot