bug fix in specs