bugfix in regex