fixes very minor typo: