small bugfix in regexp