fixes #1743