a few more NERDTree options