Some fixes to std