(Minor error message bug in @assert and like.)