small change to pre-push hook