utilities: Fix printing of std::vector.

Fix a bug which lead to a segmentation violation if one tried to print a
std::vector which was empty.