Editorial issues. Fixes #45

I have made this change in my local copy.