Minor fix after review