xenrec bug 298, missing state information