Update ProgramController.fs