Fixes #720.