More fix for vergen