Fix typo
Add margin note about implementation section
Added margin notes to section on timing uncertainty