fixes #1193