Toponym: Badlican, Gornji Mihaljevec.