Better assertion descriptions