This fixes #520