Fix vampire eval