Richtig, und zwar weil das Agens hier als Subjekt realisiert ist. In der Passivkonstruktion ist sozusagen unklar, ob das tatsächliche Agens oder das Subjekt (der Aufzug) in der Infinitivgruppe als Subjekt gelten soll. Anders gesagt: Es ist schöner (bzw. eindeutiger), wenn nicht nur das Agens, sondern auch das Subjekt zwischen der Infinitivgruppe und dem übergeordneten Satz übereinstimmen.
In zahllosen (z.B. journalistischen) Texten liest man im Übrigen Konstruktionen, bei denen weder das eine noch das andere übereinstimmt; das scheint jedoch vielen Möchtegern-Schreiberlingen gar nicht als Problem in den Sinn zu kommen.