fixes #1137