stdlib fix