Looking at the calling code, it doesn't look like this could ever be empty.