Fix for Upstream projects in verification