some small corrections for HW6