Fix things that are in stdlib