Two small tweaks to the prologue: