fixes #1513