Fixes #763.