A minor change.
Attempting to fix the build server.