Fix std lib bug