fix up some specs