fix bug in the aspic evaluation code