bugfix for occasional nullpointer exceptions when selecting menu items that operate...