Bugfix in regex