fix bug (undefined symbol)