Added mention that defaultcase is optional.