Minor fix in Labs.tt