On a theorem of Faltings on formal functions