fixes #1732