Added keepPlayerOnPlatform().