fixed some modules generated in stdlib