dots -> cdots
add tagbar plugin