{} unnecessary in `case`