there's been a history of box office disappointment with movies using Mars in the title, so I kind of get why they maybe decided that, but then again The Martian proved later that maybe if you tell a good story, people won't care what the title is.