made vera++ happy