Minor enhancement of menu highlighting