fix bug that should not appear...