Minor change, remove extra ;
Minor change, remove extra \