Corrected the hostnames of the Ubuntu NTP pool servers.