It seems more stylistically consistent to have the definition of parallel_scheduler in 33.15 before the text. Proposed change: Remove { unspecified } from the declaration of parallel_scheduler in the synopsis. Add the definition to the beginning of 33.15