typos and housekeeping