minor corrections to all files