I think I was just being over-cautious here; I want to close the device a little bit earlier. Now I do not think `local()` is necessary any more.