Fixes a lapsus calami.
Merge pull request #12 from DanLovesProofs/master

Fixes a lapsus calami.