Add note about assertion correctness