Fix minor bug in PlayerFunctions
Minor interface changes
Implement DifferenceInsertionWidget