renames in Hole.Results