Minor changes to correct an error.