org-agenda: Tiny stylistic change