Matei: update/commit #11 - see hg for details.