Comments

Added a nice header section (Everybody add your names here), and fixed
nomi’s comments