Yeah, sort of defensive. assert(empty()) would probably be better. Actually, this was just left over from where you originally coded it -- I had manually patched my branch and neglected to manually back it out.