Matei: commit #8-9. See hg for details.