Minor bugfixes (ie, typos)