bug in robustitude