Fixes #848.