Fixes #708.