Clarify what decoded_dest_size() does.
Fix typo in decoded_dest_size()