minor aesthetical changes