(regesm) : minor changes.