fixes #1133