Fixing a syntax error introduced by a pull request