Refined some specs