fixes #1724