minor fix for NERDTree