Bernie Sanders’s staffers want him to be less grumpy