fixes #1438