really fix #4307 (gcc O_O')
minor