Fixes #709.