fixes #1742