file-push teacher fixes