fixes #1728