Lab4 small fixes

Fixed some typos and enumeration problems.