Improve an error message relating to balance assertions