small changes in Help menu