Minor bugfix/typo.
Minor bugfix/typo.