a little change to NERDTree plugin;