More tweaks to agenda.md