Update derivation.html

Fixing typos.