fixes #3713
Revert "fixes #3713"

This reverts commit 5de18e6ff893997bb92e5c917ac0147a643d83d7.