very minor
fix #520