Revert "fixes bug #725"

This reverts commit a11133aeea77607cafadea091f08e92e79b129cd.