main2013: Some fixes.