Fix a typo in the public codec API

Even if this is a change in the public API, hopefully this is ok at this early stage (instead of perpetuating a silly typo).