minor formattings