Fixes #876.