vera++ fix