Corrigendum: Sea-level and deep-sea-temperature variability over the past 5.3 million years