typo corrected in hw12