Comments and cleanup to Cut a Hole.