fixes #1725