fixes #1714