fix #1065
Merge pull request #1139 from bbodi/devel

fix #1065
Revert "Merge pull request #1139 from bbodi/devel"

This reverts commit 2da7ad8647afe893b7c6facf6a5c77ff7c5be124, reversing
changes made to 8c6b1b402ea93829596b3add4c71f2d512363484.