bugfix on digit separator