should fix gemset_empty WRT #4681