style tweaks to set_player