Asteroids and dinosaurs