Reference draft is N4892.
Under [allocator.requirements.general] for Cpp17Allocator requirements, Note D under Table 36 (Cpp17Allocator requirements) currently reads as:

Note D: An allocator need not support allocate_at_least, but no default is provided in allocator_traits. If an allocator has an allocate_at_least member, it shall satisify the requirements.

I believe "satisify" should be corrected to "satisfy".