Minor fixup. (Would be so nice to be able to edit this online instead...)