Matei: commit #7 - see hg for details.