NERDTree is not usually used, thus laziness