Fixed a few typos in the derivation