Fixes #704.