fixes #1249