Improve (fix?) smod: now it really converts into symmetric representation...