get rid of unused assignment (fix #3594)