Bug in navi-show-headers-and-keywords fixed.