Minor aesthetical changes