some updated formattings, textual additions