Was de Petristraat in Rotterdam vroeger langer?

Volgens de straatnamendatabase van het Gemeentearchief Rotterdam heeft de Petristraat pas in 1997 die naam gekregen. Helaas staat er niet bij hoe de straat daarvoor heette. Zie ook de tweede link: die verwijst naar een bijlage van het boek "De Straatnamen van Rotterdam" door J. Okkema uit 1992, uitgegeven door de Gemeentelijke Archiefdienst Rotterdam. Misschien dat er iets meer in dat boek staat?