fixes #1093