Speed kills: overlooked the obvious. Now isEmpty is defined correctly.