Fixes #879.