Fixes #711.
Fixes #704.