Fixes #1142