update database, fix bug in program.cs