Small stdlib fixes