Minor changes in source code