Some edits to the prologue