Fixes #934