On the coherence of expected shortfall