This fixes #704.