Switch C notation; fix hw03 typo