Minor changes while doing documentation