Fix syntax error.

Oops, this should have been part of the last pull request.