Minor fix on REST