fix whitespace
add update_pushed_out_players()