Minor changes to intro; remarks added - Mario