Small changes, fixing typos