Minor fix related to #260