update stdlib comment