A less noted type of mastoiditis