Fixed examples and corrected some typos