Fix aesthetics of github deployment.