Corrected a few minor discrepancies