Improved Formulations of Act-Utilitarianism