Don't need `agenda` file anymore
minor changes