Fixing some NERDTree options