In Section 13.11 replace the paragraph:

A default clocking specified in a module is only valid in that particular module and not in any of its sub-modules.

with (changes in blue)

A default clocking is valid only within the scope containing the default clocking specification. This scope includes the module, interface, or program that contains the declaration as well as any nested modules or interfaces. It does not include other instantiated modules or interfaces.