Update Program.fs

fix mistakes