Change first paragraph of Section 14.2 as shown in blue.

Explicit synchronization is done via the event control operator, @, which allows a process to wait for a particular signal value change, or a clocking event (see Section 13.9).