Fix stdlib name and formating