Happy they did not