Minor fix on <repeated> handling. Still not right though.