Fixed typo, although it did not break anything.