more spec refinements