Good point. The empty case is now identical to the non-empty case.