Fix bug 3199: correct formatting of vector.