tagbar, other tweaks