small change to REGEXsynreplace