i was confused by that too, especially because of the link 'learn more about mp3 formats' next to the two codecs you mentioned. i wasnt confused enough and dint care enough to figure out if i could change it though.
i will admit ive never clicked that link. again, not caring.