Fix typo from previous commit via Github