Spirit: fixed a problem in attribute handling for Karma sequences taking a std vector as its attribute