Fix type on pre-push file