Fix typo

Just a small typo. Not sure if it is worth a pull request, but here it is in any case.