Marvel’s Doctor Strange may have taken a back seat the trunk at Marvel’s San Diego Comic-Con Hall H presentation this past weekend, but behind the scenes, it trudges on. On Friday, July 25 (the day before the panel), Marvel filed for several trademark applications for the comic title including:

While none of this explicitly screams movie, it’s fairly evident that Marvel has significant plans for the ‘Doctor Strange’ title. With little solid information about Doctor Strange known, the only semi-reliable information beyond the trademark applications appears to be Variety‘s report that the film is slated for a July 8, 2016 release date.