minor improvement to regexp