integration minor fixes: push