Fix #520.