Fixes #1111