fix menu highlight

issue #12