Fixed some typos and bad specializations.