Minor fix: error copying and paste