Fixed function head of cmd_rev_list().