fixes #1752