fix menu highlighting for reals