Fix for last commit which github appended to the previous pull request
without warning me.
Merge pull request #116 from keithj/devel

Fix for last commit which github appended to the previous pull request