Bugfix - Fix potential error in vgic