Corrected some types in the listing. Oops.