Fix typo from hurrying the last commit. Nothing to see here.