small change to ensure push works from Xcode