Update implementation.html

Fixing typos. Line 257 still needs a cross-reference.