Fixed some typos and technicalities