Happy ending to Happy Hole