Minor changes to Top Gun.