Fixes #614.
Fixes #614.