Update README.
Fix tests w.r.t. change to EmptyCase.