This `case` is the same as `Default`. So it isn't needed.