Fix typo in basic assertion descriptions