Minor fix in build instructions