updated stdlib docs