fixes #1512