a few leftover typos from the rewrite