Correction: Redescription of three fossil baleen whale skulls from the Miocene of Portugal reveals new cetotheriid phylogenetic insights