Fixes #938