Use correct name for default DNS record
Use correct repo name for source files