Fix typographical error

Have a completely trivial pull request.