Fixing issues introduced in d280091f22

note however that the notenames plugin still won't work, apparently StaffText doesn't have a text propertiy anymore.