Fixed something that went wrong between GitHub and local setup.