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

fix #1065