fix erroneous typo from last commit