fixed bad formatting for player 4 package
fixed bad name formatting for player 5
fixed compilation bug, fixed history bug