Major performance improvement to empty().