Minor correction to regexp