fixes #1751