Minor fix I noticed.