fixes #1733