Matei: minor bug fix.