not necessary since isEmpty is true