last-minute fixes that were forgotten