changed @Invar to @invar in vector