[doc] Minor spec refactoring