Corrected a harmless typing error.