Fixes #711.