Removed a forgotten NERDTree config option.