Some more minor edits to the prologue