Fixes #947.