Minor fix to setup