minor bug fix in dyssco