more stdlib docs