Two typo fixes from Brian