Toponym: Benkovec Petrovski, Petrovsko.