Appendicectomy and ulcerative colitis