minor updates on formatting;