Minor fix for Prelude