fix errors in these files