[frog2013] Minor changes