Guard an undefined behaviour

std::vector.back() on an empty std::vector is undefined. This should fix #6725 (closed).

Thanks to @Capostrophic for the investigation.