Rather obvious fix. Hence, I intent to commit it later as obvious,
unless there are any comments.

Tobias

PS: Thanks goes to Thomas for finding + reporting the issue.
-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955