A few minor changes to lists and comments