fix bug in quintus to allow tests