small changes to source files