Remove open rec extend hole result.
Now one can create a record and then open it.