minor changes for knpmenu