fixing typos, pre-syntax style