Fixes #912.