agenda: Fixing exports.