Fixed typos and elaborated a bit