fixes #1253