edited some menger stuff