added corrections to milestone 9, with Karl