Fix printing of vectors