Making a change to force update.

Github had DNS issues that seemed to affect the build process. Making a
change to deploy.