fixes #1843